Interoperability Compliance Validation of Hla Federations Based on Coloured Petri Nets

Validating complex systems is nowadays achieved by simulation of cooperating components. As complex systems have to support multidisciplinarity and multiformalism it induces these components may be different. Moreover cooperation between them means a data exchange. Exchanged data among various components may have different format and then a match is necessary. The latter is called interoperability, an essential notion. HLA OMT aim is to provide a template to document the exchanged data and their characteristics and so to promote interoperability. However verification of the document consistence becomes laborious if a huge number of data is exchanged. We propose a way to check a part of the consistence of OMT by using Coloured Petri Nets. We consider the parts consist of data compliance, completeness and structural conformity and we check only the first two ones. To do it, firstly OMT is transformed into a Coloured Petri Net and secondly verification may be achieved by its structure analysis.